- non-monotonic
- немонотонный
English-Russian dictionary of computer science. 2015.
non-monotonic
Смотреть что такое "non-monotonic" в других словарях:
Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences … Wikipedia
Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… … Wikipedia
Monotonic function — Monotonicity redirects here. For information on monotonicity as it pertains to voting systems, see monotonicity criterion. Monotonic redirects here. For other uses, see Monotone (disambiguation). Figure 1. A monotonically increasing function (it… … Wikipedia
Non-increasing sequence — In mathematics a non increasing sequence is a type sequence, an ordered list of objects, with an additional property on the values of its items. The property of being non increasing is a local property in that if all adjacent items in the… … Wikipedia
Logique non monotone — Une logique non monotone est une logique formelle dont la relation de conséquence n est pas monotone. De nombreuses logiques formelles sont monotone, ce qui signifie qu ajouter un fait à un ensemble de règles n enlève pas de déductions de cet… … Wikipédia en Français
Rate-monotonic Scheduling — Algorithmes d ordonnancement EDF • Rate monotonic • Round robin LIFO • FIFO Le rate monotonic scheduling est un algorithme d ordonnancement … Wikipédia en Français
Rate-monotonic scheduling — In computer science, rate monotonic scheduling [citation|first1=C. L.|last1=Liu|authorlink1=Chung Laung Liu|first2=J.|last2=Layland|title=Scheduling algorithms for multiprogramming in a hard real time environment|journal=Journal of the ACM|volume … Wikipedia
Rate-monotonic scheduling — L ordonnancement à taux monotone (en anglais, rate monotonic scheduling) est un algorithme d ordonnancement temps réel en ligne à priorité constante. Il attribue la priorité la plus forte à la tâche qui possède la plus petite période. RMS est… … Wikipédia en Français
Deadline-monotonic scheduling — Deadline monotonic priority assignment is a priority assignment policy used with fixed priority pre emptive scheduling. With deadline monotonic priority assignment, tasks are assigned priorities according to their deadlines; the task with the… … Wikipedia
Monotonicity criterion — This article is about a voting system criterion. See monotonic function for a mathematical notion. The monotonicity criterion is a voting system criterion used to analyze both single and multiple winner voting systems. A voting system is… … Wikipedia
Belief revision — is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.What… … Wikipedia
